Znotation 相关硕士博士期刊学术论文 - 搜论网

Znotation相关论文

基于带数据约束实时系统的互模拟检测方法

带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统,其广泛存在于航空航天、工业控制、国防等安全攸关系......

期刊

实时系统接口自动机 Z语言时间自动机互模拟检测 real-time system interface automata Znotation time

看过本文同时还关注